% Fold 1
/*
example(e303,1,2).
example(e357,1,2).
example(e477,1,2).
example(e42,1,2).
example(e559,1,2).
example(e677,1,2).
example(e645,1,2).
example(e475,1,2).
example(e535,1,2).
example(e468,1,2).
example(e123,1,2).
example(e154,1,2).
example(e93,1,2).
example(e171,1,2).
example(e556,1,2).
example(e449,1,2).
example(e401,1,2).
example(e482,1,2).
example(e354,1,2).
example(e437,1,2).
example(e679,1,2).
example(e285,1,2).
example(e399,1,2).
example(e73,1,2).
example(e445,1,2).
example(e261,1,2).
example(e62,1,2).
example(e398,1,2).
example(e49,1,2).
example(e416,1,2).
example(e173,1,2).
example(e523,1,2).
example(e115,1,2).
example(e564,1,2).
example(e350,1,2).
example(e219,1,2).
example(e417,1,2).
example(e111,1,2).
example(e495,1,2).
example(e537,1,2).
example(e459,1,2).
example(e51,1,2).
example(e673,1,2).
*/

% Fold 2

example(e246,1,2).
example(e474,1,2).
example(e515,1,2).
example(e1,1,2).
example(e405,1,2).
example(e545,1,2).
example(e617,1,2).
example(e267,1,2).
example(e669,1,2).
example(e7,1,2).
example(e476,1,2).
example(e170,1,2).
example(e182,1,2).
example(e298,1,2).
example(e379,1,2).
example(e335,1,2).
example(e513,1,2).
example(e665,1,2).
example(e108,1,2).
example(e652,1,2).
example(e533,1,2).
example(e215,1,2).
example(e204,1,2).
example(e290,1,2).
example(e302,1,2).
example(e378,1,2).
example(e557,1,2).
example(e113,1,2).
example(e254,1,2).
example(e82,1,2).
example(e178,1,2).
example(e507,1,2).
example(e334,1,2).
example(e570,1,2).
example(e316,1,2).
example(e19,1,2).
example(e99,1,2).
example(e630,1,2).
example(e465,1,2).
example(e269,1,2).
example(e442,1,2).
example(e404,1,2).
example(e411,1,2).
example(e393,1,2).
example(e263,1,2).


% Fold 3

example(e369,1,2).
example(e599,1,2).
example(e632,1,2).
example(e176,1,2).
example(e226,1,2).
example(e47,1,2).
example(e291,1,2).
example(e522,1,2).
example(e596,1,2).
example(e372,1,2).
example(e432,1,2).
example(e160,1,2).
example(e15,1,2).
example(e297,1,2).
example(e282,1,2).
example(e430,1,2).
example(e383,1,2).
example(e165,1,2).
example(e145,1,2).
example(e90,1,2).
example(e396,1,2).
example(e550,1,2).
example(e181,1,2).
example(e208,1,2).
example(e105,1,2).
example(e352,1,2).
example(e403,1,2).
example(e355,1,2).
example(e2,1,2).
example(e166,1,2).
example(e510,1,2).
example(e574,1,2).
example(e162,1,2).
example(e628,1,2).
example(e678,1,2).
example(e23,1,2).
example(e461,1,2).
example(e670,1,2).
example(e544,1,2).
example(e478,1,2).


% Fold 4

example(e634,1,2).
example(e277,1,2).
example(e186,1,2).
example(e676,1,2).
example(e621,1,2).
example(e397,1,2).
example(e587,1,2).
example(e244,1,2).
example(e55,1,2).
example(e502,1,2).
example(e591,1,2).
example(e392,1,2).
example(e54,1,2).
example(e579,1,2).
example(e209,1,2).
example(e218,1,2).
example(e580,1,2).
example(e266,1,2).
example(e590,1,2).
example(e69,1,2).
example(e87,1,2).
example(e656,1,2).
example(e554,1,2).
example(e187,1,2).
example(e561,1,2).
example(e247,1,2).
example(e429,1,2).
example(e635,1,2).
example(e653,1,2).
example(e143,1,2).
example(e408,1,2).
example(e22,1,2).
example(e189,1,2).
example(e101,1,2).
example(e153,1,2).
example(e400,1,2).
example(e542,1,2).


% Fold 5

example(e666,1,2).
example(e161,1,2).
example(e135,1,2).
example(e328,1,2).
example(e3,1,2).
example(e366,1,2).
example(e529,1,2).
example(e309,1,2).
example(e112,1,2).
example(e358,1,2).
example(e305,1,2).
example(e363,1,2).
example(e612,1,2).
example(e412,1,2).
example(e24,1,2).
example(e71,1,2).
example(e77,1,2).
example(e13,1,2).
example(e296,1,2).
example(e198,1,2).
example(e313,1,2).
example(e98,1,2).
example(e668,1,2).
example(e659,1,2).
example(e532,1,2).
example(e341,1,2).
example(e283,1,2).
example(e207,1,2).
example(e259,1,2).
example(e25,1,2).
example(e531,1,2).
example(e79,1,2).
example(e33,1,2).
example(e553,1,2).
example(e68,1,2).
example(e214,1,2).

% Fold 6

example(e141,1,2).
example(e239,1,2).
example(e541,1,2).
example(e158,1,2).
example(e132,1,2).
example(e200,1,2).
example(e137,1,2).
example(e92,1,2).
example(e27,1,2).
example(e682,1,2).
example(e340,1,2).
example(e191,1,2).
example(e300,1,2).
example(e667,1,2).
example(e428,1,2).
example(e136,1,2).
example(e53,1,2).
example(e450,1,2).
example(e614,1,2).
example(e342,1,2).
example(e44,1,2).
example(e177,1,2).
example(e190,1,2).
example(e526,1,2).
example(e310,1,2).
example(e21,1,2).
example(e627,1,2).
example(e9,1,2).
example(e276,1,2).
example(e174,1,2).
example(e237,1,2).
example(e569,1,2).
example(e278,1,2).
example(e581,1,2).
example(e426,1,2).
example(e494,1,2).
example(e58,1,2).
example(e578,1,2).
example(e245,1,2).
example(e36,1,2).
example(e270,1,2).
example(e637,1,2).
example(e365,1,2).

% Fold 7


example(e169,1,2).
example(e455,1,2).
example(e629,1,2).
example(e606,1,2).
example(e364,1,2).
example(e304,1,2).
example(e563,1,2).
example(e644,1,2).
example(e110,1,2).
example(e356,1,2).
example(e609,1,2).
example(e577,1,2).
example(e646,1,2).
example(e128,1,2).
example(e311,1,2).
example(e484,1,2).
example(e555,1,2).
example(e238,1,2).
example(e167,1,2).
example(e251,1,2).
example(e224,1,2).
example(e91,1,2).
example(e655,1,2).
example(e329,1,2).
example(e641,1,2).
example(e546,1,2).
example(e520,1,2).
example(e493,1,2).
example(e188,1,2).
example(e85,1,2).
example(e626,1,2).
example(e509,1,2).
example(e84,1,2).
example(e367,1,2).

% Fold 8

example(e681,1,2).
example(e384,1,2).
example(e662,1,2).
example(e649,1,2).
example(e360,1,2).
example(e648,1,2).
example(e213,1,2).
example(e490,1,2).
example(e284,1,2).
example(e149,1,2).
example(e547,1,2).
example(e687,1,2).
example(e530,1,2).
example(e382,1,2).
example(e222,1,2).
example(e636,1,2).
example(e133,1,2).
example(e95,1,2).
example(e512,1,2).
example(e601,1,2).
example(e142,1,2).
example(e483,1,2).
example(e32,1,2).
example(e425,1,2).
example(e152,1,2).


% Fold 9

example(e78,1,2).
example(e440,1,2).
example(e289,1,2).
example(e435,1,2).
example(e619,1,2).
example(e281,1,2).
example(e227,1,2).
example(e423,1,2).
example(e452,1,2).
example(e252,1,2).
example(e72,1,2).
example(e508,1,2).
example(e373,1,2).
example(e470,1,2).
example(e639,1,2).
example(e217,1,2).
example(e618,1,2).
example(e433,1,2).
example(e336,1,2).
example(e45,1,2).
example(e549,1,2).
example(e374,1,2).
example(e233,1,2).
example(e456,1,2).
example(e463,1,2).
example(e568,1,2).
example(e271,1,2).
example(e193,1,2).
example(e319,1,2).
example(e292,1,2).
example(e387,1,2).
example(e572,1,2).
example(e410,1,2).
example(e317,1,2).
example(e419,1,2).
example(e593,1,2).
example(e528,1,2).
example(e516,1,2).
example(e312,1,2).
example(e638,1,2).
example(e307,1,2).
example(e624,1,2).

% Fold 10

example(e210,1,2).
example(e97,1,2).
example(e35,1,2).
example(e511,1,2).
example(e595,1,2).
example(e83,1,2).
example(e225,1,2).
example(e607,1,2).
example(e64,1,2).
example(e126,1,2).
example(e548,1,2).
example(e194,1,2).
example(e52,1,2).
example(e330,1,2).
example(e61,1,2).
example(e448,1,2).
example(e67,1,2).
example(e148,1,2).
example(e684,1,2).
example(e451,1,2).
example(e232,1,2).
example(e134,1,2).
example(e338,1,2).
example(e273,1,2).
example(e647,1,2).
example(e480,1,2).
example(e327,1,2).
example(e10,1,2).
example(e571,1,2).
example(e443,1,2).
example(e585,1,2).
example(e199,1,2).
example(e260,1,2).
example(e122,1,2).
example(e202,1,2).
example(e195,1,2).
example(e76,1,2).
example(e658,1,2).